how to prove the expected value for the binomial distribution